1. Algorithmics :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer algorithms. ;
2. Algorithmics :
پدیدآورنده : David Harel, with Yishai Feldman.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
3. Algorithmics :
پدیدآورنده : David Harel, with Yishai Feldman
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms
رده :
QA76
.
9
.
A43
H37
2004
4. Algorithmics
پدیدآورنده : / David Harel, with Yishai Feldman
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer algorithms.
رده :
QA
,
76
.
9
,.
A43
,
H37
,
2004
5. Algorithmics : the spirit of computing
پدیدآورنده : David Harel with the technical assistance of Roni Rosner on the exerci
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Computer algorithms
رده :
QA
،
76
،.
H2833
،
1987
6. Algorithmics : the spirit of computing
پدیدآورنده : Harel, David, 0591-
موضوع : ، Computer algorithms
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. Algorithmics : the spirit of computing
پدیدآورنده : Harel, David, 0591 -
کتابخانه: (طهران)
موضوع : ، Computer algorithms
رده :
QA
76
.
9
.
A43
H37
1992
8. Algorithmics:the spirit of computing
پدیدآورنده : HAREL,DAVID
کتابخانه: (طهران)
موضوع : ELECTRONIC DATA PROCESSING , ALGORITHMS
رده :
QA
76
.
H2833
9. Algorithmics: the spirit of computing
پدیدآورنده : Harel, David
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Electronic data processing,، Algorithms
رده :
QA
76
.
H28
1987
10. Algorithmik
پدیدآورنده : David Harel ; Yishai Feldman. Übers. von Micaela Krieger-Hauwede
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithmische Programmiersprache,Algorithmische Programmierung,Algorithmus,Algorithmus, 0 Gesamtdarstellung.,Algorithmus.,Berechenbarkeit,Beweis,Effizienter Algorithmus,Komplexitätstheorie,Korrektheit,Programmiersprache,Programmierung,Programmierung.,Programmverifikation,Softwareentwicklung
11. Analytic methods in systems and software testing /
پدیدآورنده : edited by Ron S. Kenett, KPA, Israel and Neaman Institute, Technion, Israel, Fabrizio Ruggeri, CNR-IMATI, Italy, Frederick W. Faltin, the Faltin Group, and Virginia Tech, USA.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Testing.,Computer software-- Testing.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.
رده :
QA76
.
76
.
T48
A52
2018eb
12. Atlas of emergency neurosurgery /
پدیدآورنده : [edited by] Jamie Ullman, P.B. Raksin ; medical illustrator, Jennifer Pryll.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Nervous system-- Surgery, Atlases.,Surgical emergencies, Atlases.,Central Nervous System Diseases-- surgery.,Central Nervous System-- surgery.,Craniocerebral Trauma-- surgery.,Emergencies.,Neurosurgical Procedures-- methods.,Spinal Cord Injuries-- surgery.,Spinal Injuries-- surgery.,Nervous system-- Surgery.,Surgical emergencies.
رده :
RD593
13. Comparative judicial review /
پدیدآورنده : edited by Erin F. Delaney and Rosalind Dixon.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Constitutional law.,Judicial review.,Constitutional law.,Judicial review.,LAW-- Civil Procedure.,LAW-- Legal Services.,POLITICAL SCIENCE-- Government-- Judicial Branch.
رده :
K3175
14. Computer-assisted drug design :
پدیدآورنده : Edward C. Olson, editor, Ralph E. Christoffersen, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Drugs-- Structure-activity relationships-- Data processing, Congresses.,Pharmaceutical chemistry-- Data processing, Congresses.,Chemistry, Pharmaceutical.,Computers.,Models, Structural.,Structure-Activity Relationship.
رده :
RS401
.
S95
1979
15. Dynamic logic
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer logic. ;
16. Dynamic logic
پدیدآورنده : / David Harel, Dexter Kozen, Jerzy Tiuryn
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer logic.,Formal methods (Computer science)
رده :
QA
,
76
.
9
,.
L63
,
H37
,
2000
17. Dynamic logic
پدیدآورنده : /David Harel; Dexter Kozen; Jerzy Tiuryn
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع :
18. Engineering Theories of Software Intensive System
پدیدآورنده : / [electronic resource]
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع :
19. First-Order Dynamic Logic
پدیدآورنده : edited by David Harel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Science,Computer Science, general,Computer science.
20. First-order dynamic logic
پدیدآورنده : Harel, David
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
6
.
H34
1979
